Inference at * 1 
Iof proof for Lemma sq stable iff stable:



1. P : 
2. SqStable(P)
  Stable{P} 

latex

 by ((UnfoldTopAb 2) 
CollapseTHEN (UnfoldTopAb 0)) 

latex

C1: 

C1: 2. (P)  P
C1:   (P)  P
C.

Definitions

Stable{P}, SqStable(P)